package gek.uni.aspirant.ocl.parser.mptree.tree.utils;

public class PrologConstants {

  public static final String PROLOG_SIZE_OPERATION_NAME = "size";
  
  public static final String PROLOG_IS_EMPTY_OPERATION_NAME = "isEmpty";
  
  public static final String PROLOG_OCL_IS_TYPE_OF_OPERATION_NAME = "oclIsTypeOf";
  
  public static final String PROLOG_OCL_IS_KIND_OF_OPERATION_NAME = "oclIsKindOf";
  
  public static final String PROLOG_OCL_IS_UNDEFINED_OPERATION_NAME = "isUndefined";

  public static final String PROLOG_EQUAL_OPERATION_NAME = "=";
  
  public static final String PROLOG_AND_OPERATION_NAME = "and";
  
  public static final String PROLOG_OR_OPERATION_NAME = "or";
  
  public static final String PROLOG_GREATER_OPERATION_NAME = ">";
  
  public static final String PROLOG_GREATER_EQUAL_OPERATION_NAME = ">=";
  
  public static final String PROLOG_LESS_OPERATION_NAME = "<";
  
  public static final String PROLOG_LESS_EQUAL_OPERATION_NAME = "=<";
  
  public static final String PROLOG_INCLUDES_OPERATION_NAME = "includes";
  
  public static final String PROLOG_SELECT_OPERATION_NAME = "select";
  
  public static final String PROLOG_FORALL_OPERATION_NAME = "forall";
  
  public static final String PROLOG_PLUS_OPERATION_NAME = "+";
  
  public static final String PROLOG_MINUS_OPERATION_NAME = "-";
  
  public static final String PROLOG_MULTI_OPERATION_NAME = "*";
  
  public static final String PROLOG_DIVIDE_OPERATION_NAME = "/";
}
